41. Handbook of logic and language
پدیدآورنده : / Johan Van Benthem, Alice ter Meulen.
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : پردازش زبان طبیعی,منطق ریاضی,معنی‌شناسی,-- دستنامه‌ها,-- دستنامه‌ها,-- دستنامه‌ها
رده :
QA
۷۶
/
۹
/
پ
۴۴
ھ
۹ ۱۳۹۰
42. Interactive Theorem Proving
پدیدآورنده : \ Christian Urban, Xingyuan Zhang (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,-- Congresses,-- کنگره‌ها,a03,a03
رده :
QA
76
.
9
.
A96
E-Book
,
43. KI 2015
پدیدآورنده : \ [edited by] Steffen Hölldobler...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Artificial intelligence -- Congresses.,هوش مصنوعی-- کنگره‌ها
رده :
Q
336
.
K5
2015
E-Book
,
44. La mathématique et la géométrie chez les romanciers non-oulipiens de l’extrême-contemporain (Le cas de Deville, d’Echenoz, et de Toussaint)
پدیدآورنده : Haleh HADDADI KHELEJAN ,HADDADI KHELEJAN,
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Mathématiques, arithmétique, géométrie, logique, littérature minimaliste.,ریاضیات، حساب، هندسه، منطق، ادبیات کمینه گرا
45. Linguistic Fuzzy Logic Methods in Social Sciences
پدیدآورنده : \ Badredine Arfi.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Fuzzy logic,منطق فازی,a04,a04,Social sciences-- Mathematical models.,علوم اجتماعی -- الگوهای ریاضی
رده :
H
61
.
25
.
A7L5
2010
E-Book
,
46. Logic, Mathematics, and Computer Science.
پدیدآورنده : \ Yves Nievergelt
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Mathematics,Logic, symbolic and mathematical,Number theory,ریاضیات,منطق ریاضی,نظریه اعداد,a03,a04,a05,a03,a04,a05
رده :
QA
37
.
N5L6
2015
E-Book
,
47. Logic, Methodology, And Philosophy Of Science, VII.: Proceedings Of The Seventh International Congress Of Logic, Methodology , And Philosophy Of Science, Salzburg, 1983
پدیدآورنده : / Edited By Ruth Barcan Marcus, Georg J. W. Dorn, Paul Weingartner
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع : Science -- Philosophy -- Congresses.,Science -- Methodology -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,علوم -- فلسفه -- کنگره ها,علوم -- روش‌شناسی -- کنگره ها,منطق ریاضی-- کنگره‌ها
رده :
Q
174
.
I5P4
48. Logic, Rationality, and Interaction
پدیدآورنده : \ Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang (eds.).
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical -- Congresses. ,Information theory -- Congresses. ,منطق ریاضی -- کنگره‌ها
رده :
Q360
.
L67
2015
E-Book
,
49. Logic and Its Applications
پدیدآورنده : \ Mohua Banerjee, Shankara Narayanan Krishna (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical -- Congresses.,منطق ریاضی-- کنگره‌ها
رده :
QA
9
.
L6
2015
E-Book
,
50. Logic and Knowledge
پدیدآورنده : \ Bertrand Russell; edited by Robert Charles Marsh,راس‍ل
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Philosophy,Logic, symbolic and mathematical,فلسفه,منطق ریاضی,a03,a05,a03,a05
رده :
B1649
.
R93
L6
1968
51. Logic and Philosophy of Mathematics in the Early Husserl
پدیدآورنده : \ by Stefania Centrone.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a03,a03,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
C4L6
2010
E-Book
,
52. Logic and knowledge : essays, 1901-1950
پدیدآورنده : / Bertrand Russell,راس‍ل,Russell
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : فلسفه,منطق ریاضی
رده :
B
۱۶۴۹
/
ر
۲
ل
۲ ۱۳۳۵
53. Logic, language, information, and computation
پدیدآورنده : \ Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : .Language and logic -- Congresses.,Symbolic and Algebraic Manipulation.,Mathematical Logic and Formal Languages,زبان و منطق -- کنگره ها,منطق ریاضی و زبان‌های صوری
رده :
P
39
.
L644
2015
E-Book
,
54. Logic, language, information and computation : 15th international workshop, WOLLIC 2008 Edinburgh, UK, July 1-4, 2008 proceedings
پدیدآورنده : / [edited by] Wilfrid Hodges, Ruy de Queiroz.
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : منطق ریاضی,منطق ریاضی,زبان‌شناسی کامپیوتری,-- کنگره‌ها, -- کنگره‌ها
رده :
QA
۹
/
ک
۲ ۱۳۸۷
55. Logical Studies of Paraconsistent Reasoning in Science and Mathematics
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical,منطق ریاضی
رده :
E-Book
,
56. Logical Thinking in the Pyramidal Schema of Concepts
پدیدآورنده : / Lutz Geldsetzer, Richard L. Schwartz
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical,Mathematics, Philosophy,Philosophy (General),Logic,Computer science,منطق ریاضی,ریاضیات -- فلسفه
رده :
QA9
.
G325
2013
57. Mathematical Logic
پدیدآورنده : \ Wei Li
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a03,a03
رده :
E-Book
,
58. Mathematical logic
پدیدآورنده : / Yu. L. Ershov, E. A. Palyutin
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : منطق ریاضی
رده :
QA
۹
/
۲
/
ی
۴
م
۲ ۱۳۶۳
59. Meaning and Necessity
پدیدآورنده : / by Rudolf Carnap
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Semantics (Philosophy),Logic, Symbolic and mathematical,معنی شناسی (فلسفه),منطق ریاضی
رده :
B840
.
C3
1956
60. Mits, wits, and logic
پدیدآورنده : / text by Lillian R. Lieber
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : منطق ریاضی,علوم, -- فلسفه
رده :
BC
۱۳۵
/
ل
۹
م
۹ ۱۳۳۹
